add_tests(
    FILES
    and
    constant
    equivalence
    implies
    not
    or
    predicate
    simplify_and
    simplify_custom
    simplify_not
    simplify_or
    sum_of_products
    LIBRARIES
    cib_match)
